منابع مشابه
Making the World Safe for Garbage Collection, 1981
This paper describes the formal specifications of garbage collection in the programming language Cedar Mesa. They were developed as part of the process of identifying a safe subset of Mesa for which garbage collection was possible. The purpose of the specifications was to provide a precise definition of safety, along with criteria for checking the safety of proposed language features. Thus the ...
متن کاملFormalizing Preference Utilitarianism in Physical World Models
Most ethical work is done at a low level of formality. This makes practical moral questions inaccessible to formal and natural sciences and can lead to misunderstandings in ethical discussion. In this paper, we use Bayesian inference to introduce a formalization of preference utilitarianism in physical world models, specifically cellular automata. Even though our formalization is not immediatel...
متن کاملMaking Plasma Safe for Transfusion
I. Tncoitipatible plasma A disaster in blood transfusion, occurring with dramatic suddenness, when an error in grouping blood has been made, is due to lysis and/or agglutination of the donor's corpuscles in e recipient's body. The donor's plasma, however, is not without effect. If it has not been made ^effective by dilution with the recipients plasma it will lyse and/or agglutinate the recipien...
متن کاملA Safe World for Kids
I t's hard to discuss the safety of a kid's world without thoughts of the Newtown, Connecticut, tragedy of 2012 entering into my mind. How sad that was! Twenty 6-and 7-year-olds murdered by a mentally ill gunman. The only connection between the kids and the gunman was his mother, who taught at the school. Most folks would like to do something to prevent such tragedies, but answers to the questi...
متن کاملMaking Home Safe for Children
Trauma is an important cause of mortality and morbidity in children. A significant number of injuries occur in home environment [1]. This subject has been studied extensively in western countries and huge data is generated. Based upon the findings many policy decisions have been taken in order to minimize the potential threats at home. In addition many educational activities are conducted for p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Royal Institute of Philosophy Supplement
سال: 2006
ISSN: 1358-2461,1755-3555
DOI: 10.1017/s1358246100009280